implicit differentiation using product rule